Wyniki
-
The Craig Interpolation Theorem in multi-modal logics
Judit Madarasz
Bulletin of the Section of Logic , 24 /3 (1995) s. 147-154 -
On the finitization problem of relation algebras
Gabor Sagi, Judit Madarasz, Istvan Nemeti
Bulletin of the Section of Logic , 26 /3 (1997) s. 139-143